Skip to content

ci: forgotten action pin#6211

Merged
mattdibi merged 1 commit intodevelopfrom
ci/forgotten_pin
Apr 8, 2026
Merged

ci: forgotten action pin#6211
mattdibi merged 1 commit intodevelopfrom
ci/forgotten_pin

Conversation

@mattdibi
Copy link
Copy Markdown
Member

@mattdibi mattdibi commented Apr 8, 2026

Follow-up on #6208: forgotten action pin

@mattdibi mattdibi merged commit 9b70c83 into develop Apr 8, 2026
5 checks passed
@mattdibi mattdibi deleted the ci/forgotten_pin branch April 8, 2026 15:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants